themingengine: Fix outline-width
authorBenjamin Otte <otte@redhat.com>
Sat, 7 Apr 2012 05:40:19 +0000 (07:40 +0200)
committerBenjamin Otte <otte@redhat.com>
Tue, 17 Apr 2012 06:59:20 +0000 (08:59 +0200)
It's a number, not an int.

gtk/gtkthemingengine.c

index 3f3751284b96b3046bbe7d6566986290de5ccf8e..1d3bc129f5be9d404f0aba3b93fbac887de3c594 100644 (file)
@@ -1828,7 +1828,7 @@ render_frame_internal (GtkThemingEngine *engine,
       int offset;
 
       border_style[1] = border_style[2] = border_style[3] = border_style[0];
-      border.top = _gtk_css_value_get_int (_gtk_theming_engine_peek_property (engine, GTK_CSS_PROPERTY_OUTLINE_WIDTH));
+      border.top = round (_gtk_css_number_value_get (_gtk_theming_engine_peek_property (engine, GTK_CSS_PROPERTY_OUTLINE_WIDTH), 100));
       border.left = border.right = border.bottom = border.top;
       colors[0] = *_gtk_css_rgba_value_get_rgba (_gtk_theming_engine_peek_property (engine, GTK_CSS_PROPERTY_OUTLINE_COLOR));
       colors[3] = colors[2] = colors[1] = colors[0];